Wahlpflichtbereich Theoretische Grundlagen des SSE

ModuleLV TypeCPLVDatesExamination
Advanced Automata TheoryFach-/Modulprüfung6452625
Algorithmische SpieltheorieFach-/Modulprüfung6451224
Fixpoints and Induction in Logic and Computer ScienceFach-/Modulprüfung6468643
Vorlesung455732Mi 10:30-12:00 5056 (2356|056) (×13)
Do 08:30-10:00 5056 (2356|056) (×5)
Übung455741Mi 16:30-18:00 5054 (2356|054) (×9)
Graphzerlegungen und algorithmische AnwendungenFach-/Modulprüfung6455839
Vorlesung455435Mo 16:30-18:00 AH II (2350|111) (×9)
Do 16:30-18:00 AH I (2350|028) (×9)
Übung455436Fr 12:30-14:00 5056 (2356|056) (×4)
Fr 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×1)
Höhere AlgorithmikFach-/Modulprüfung6454391
Infinite Computations and GamesFach-/Modulprüfung6454588
Modeling and Verification of Probabilistic SystemsFach-/Modulprüfung6454399
Modellierung und Analyse hybrider SystemeFach-/Modulprüfung6452314
Online AlgorithmenFach-/Modulprüfung6450885
Vorlesung455712Di 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×9)
Di 16:30-18:00 AH II (2350|111) (×10)
Mi 12:30-14:00 Seminarraum i1, Raum 4017 (2353|017) (×1)
Do 10:30-12:00 5055 (2356|055) (×1)
Fr 12:30-14:00 AH V (2356|050) (×9)
Probabilistic ProgrammingFach-/Modulprüfung6454494
Quantum ComputingFach-/Modulprüfung4451114
RekursionstheorieFach-/Modulprüfung6454405
Semantik und Verifikation von SoftwareFach-/Modulprüfung6451529
Statische ProgrammanalyseFach-/Modulprüfung6450693
Vorlesung455273Mo 12:30-14:00 AH I (2350|028) (×9)
Mo 14:00-16:00 5055 (2356|055) (×1)
Di 14:30-16:00 AH II (2350|111) (×11)
Übung455272Fr 10:30-12:00 AH III (2350|314.1) (×9)
The Graph Isomorphism ProblemFach-/Modulprüfung6452835
Theory of Constraint Satisfaction ProblemsFach-/Modulprüfung6450975
Theory of Distributed and Parallel SystemsFach-/Modulprüfung6451897